Go to content
- {{#headlines}}
- {{title}} {{/headlines}}
Current contact address
| Country | People's Republic of China |
|---|---|
| City | Beijing |
| Institution | Tsinghua University |
| Institute | Department of Computer Science and Technology |
Profile
| Research fields | Numerical Analysis, Optimization, Simulation |
|---|---|
| Keywords | quantum computation and quantum information, formal methods, artifical intelligence, logics in computer science |